$\forall$$R$:es\_realizer\{i:l\}, ${\it es}$:event\_system\{i:l\}. R{-}consistent($R$; ${\it es}$) $\in$ prop\{i:l\}